#ifndef __USER_TIM_H
#define __USER_TIM_H

#ifdef __cplusplus
extern "C" {
#endif

#include "stdint.h"

void sys_tick_inc(void);
uint32_t sys_tick_get(void);

#ifdef __cplusplus
}
#endif

#endif
